loosest nontrivial grammar

最宽松的非平凡文法